.str
{
    color: #008000;
}
.kwd
{
    color: #808000;
}
.com
{
    color: #2985C7;
}
.typ
{
    color: #800080;
}
.lit
{
    color: #000000;
}
.pun
{
    color: #000080;
}
.pln
{
    color: #000000;
}
.tag
{
    color: #000000;
}
.atn
{
    color: #000000;
}
.atv
{
    color: #000000;
}
.dec
{
    color: purple;
}
pre.prettyprint
{
    border: 1px solid #EEE;
}
ol.linenums
{
    margin-top: 0;
    margin-bottom: 0;
}
.prettyprint {
    font-family: consolas, courier, mono;
    font-size: 9pt;
    background: #F8F8F8;
}
li.L0, li.L1, li.L2, li.L3, li.L4, li.L5, li.L6, li.L7, li.L8, li.L9
{
    color: #CCCCCC;
    list-style-type: decimal;
}
